-
1 partial recursive function
частично рекурсивная функция
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Англо-русский словарь нормативно-технической терминологии > partial recursive function
-
2 partial recursive function
Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > partial recursive function
-
3 partial recursive function
Вычислительная техника: частично-рекурсивная функцияУниверсальный англо-русский словарь > partial recursive function
-
4 partial recursive function
English-Russian information technology > partial recursive function
-
5 recursive
1) рекурсивный
2) рекуррентный
– general recursive
– partial recursive
– partially recursive
– primitive recursive
– recursive algorithm
– recursive definition
– recursive function
– recursive unsolvability
-
6 function
1) функция, назначение || функционировать, действовать2) матем. функция•- abnormal function
- access function
- additive function
- address function
- adherence function
- aggregate function
- analog function
- AND function
- AND-to-OR function
- antihyperbolic function
- antitrigonometric function
- arbitrary Boolean function
- arc hyperbolic function
- arc trigonometric function
- array element successor function
- assumed function
- autocorrelation function
- band-limited function
- basis function
- belief function
- blending function
- Boolean function
- buffer function
- built-in function
- characteristic function
- circuit function
- closed function
- collate function
- completely defined function
- composite function
- computable function
- computer function
- concave function
- continuous function
- control function
- convex function
- correlation function
- course-of-value function
- criterion function
- cross-correlation function
- curried function
- dagger function
- damped function
- decision function
- decreasing function
- degate function
- delta function
- demand function
- describing function
- difference function
- discrete finite-valued function
- distribution function
- driving function
- EITHER-OR function
- elliptic function
- entire function
- entire rational function
- entity-to-entity function
- enumerative function
- error function
- essential functions
- evaluation function
- even function
- except function
- exclusive OR function
- executive function
- explicit function
- exponential function
- exponent function
- exponentially decreasing function
- external function
- failure density function
- failure rate function
- feedback function
- finite discrete-valued function
- finite-valued function
- fitted function
- frequency function
- general function
- generalized function
- generating function
- generic function
- hashing function
- hash function
- ill-behaved function
- ill-defined function
- illegal function
- implicit function
- inclusive OR function
- infinite-valued function
- infrared function
- inhibit function
- internal function
- intrinsic function
- inverse function
- joint distribution function
- jump function
- key function
- K-out-of-N function
- library function
- list function
- logical function
- logic function
- logical addition function
- logical multiplication function
- logistic function
- majority function
- membership function
- merit function
- mixed-radix function
- moment-generating function
- morphic Boolean function
- morphic function
- multioutput function
- multiple-valued function
- noncomputable function
- normal function
- NOT function
- nullary function
- objective function
- odd function
- one-valued function
- onto function
- open function
- OR function
- OR-ELSE function
- output function
- partial function
- payoff function
- Peirce function
- penalty function
- piece linear function
- piece regular function
- piecewise continuous function
- positive definite function
- power function
- predefined function
- primitive function
- processing function
- propositional function
- ramp function
- random function
- ranking function
- reckonable function
- recursive function
- remainder function
- response function
- risk function
- safety-related function
- scalar function
- service function
- Sheffer stroke function
- Sheffer function
- shifting function
- shuffle function
- signal function
- signum function
- single-output function
- single-valued function
- smoothed function
- spectral function
- staircase function
- standard function
- statement function
- step function
- storage function
- strictly increasing function
- successor function
- support function
- switching function
- syntactic function
- table function
- testing function
- threshold function
- transfer function
- transition function
- traversal function
- unate function
- unit-impulse function
- universal function
- utility function
- vector function
- weight function
- weighted sum objective function
- weighting functionEnglish-Russian dictionary of computer science and programming > function
-
7 Church thesis
в 1930-х годах математик Алонсо Чёрч (Alonzo Church) из Принстонского университета предложил важный принцип, названный тезисом Чёрча. В соответствии с ним весь класс вычислимых функций над целыми числами (иногда их называют частично-рекурсивными функциями, partial recursive function) может быть вычислен на любом вычислительном устройстве общего типа, в частности, на машине Тьюринга (Turing machine)Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > Church thesis
-
8 method
метод; процедура; способ- antithetic variate method - average ordinate method - average range method - binary search method - conjugate directions method - conjugate gradient method - control chart method - conventional milling method - correlation function method - decision function method - differential control method - Feynman diagram method - first approximation method - gradient projection method - iterative method - large sample method - large sieve method - least-squares regression method - less than fully efficient method - linearly implicit method - method of adjoint gradient - method of algebraic addition - method of alternating directions - method of balanced blocks - method of complex numbers - method of confidence intervals - method of conformal mappings - method of conjugate directions - method of conjugate gradients - method of cyclic descent - method of detached coefficients - method of disjunction of cases - method of divided differences - method of electrical images - method of elimination of quantifiers - method of empty ball - method of extreme values - method of false position - method of feasible directions - method of finite differences - method of first approximation - method of first entrance - method of fitting constants - method of fixed points - method of full enumeration - method of generating functions - method of geometric exhaustion - method of indefinite coefficients - method of infinite descent - method of interval bisection - method of least absolute values - method of least distance - method of least likelihood - method of maximum likelihood - method of means and standard deviations - method of medians and extreme values - method of minimal change - method of minimal variance - method of mirror reflections - method of moving frame - method of multiple comparison - method of orthogonal projections - method of paired associates - method of paired comparisons - method of phase integrals - method of projecting cones - method of proportional parts - method of rotating factors - method of semantic tableaux - method of separation of variables - method of simulaneous displacements - method of stationary phase - method of statistical differentials - method of statistical inference - method of steep variations - method of steepest ascent - method of stochastic approximation - method of straightforward iteration - method of successive displacements - method of successive divisions - method of successive elimination - method of transfinite induction - method of unweighted means - method of variable differences - method of variation of parameters - method of weighted residuals - optimum method - parallel tangents method - precision method - random walk method - recursive method - reduced gradient method - reflected wave method - relative method of measurement - sampling method by variables - statistical sampling method - steepest descent method - time average method -
9 algebra
algebra with minimality condition — алгебра с условием минимальности, алгебра с условием обрыва убывающих цепей
algebra with maximality condition — алгебра с условием максимальности, алгебра с условием обрыва возрастающих цепей
-
10 limit
1) граница || ограничивать2) допуск3) порог; предел || устанавливать предел4) лимит || лимитировать5) мн. ч. интервал значений•down to the limit — в максимальной степени; до предела; предельно
limit approached from the left — мат. предел при стремлении переменной к точке слева
limit from the left — мат. предел слева
limit from the right — мат. предел справа
limit in probability — мат. предел по вероятности
limit in quadratic mean — мат. предел в среднеквадратическом смысле
limit in the mean — мат. предел в среднем
limit on the left — мат. предел слева
limit on the right — мат. предел справа
passage to the limit — мат. предельный переход
proceeding to limit — мат. переход к пределу
to tend to limit — мат. стремиться к пределу
to take limit — мат. найти предел
to set the limit to — устанавливать предел (чего-л.)
- almost significant limit - lower control limit - upper control limitto proceed [pass] to limit — мат. переходить к пределу
-
11 system
1) система; комплекс2) совокупность•- absolutely consistent system - absolutely direct indecomposable system - absolutely free system - absolutely irreducible system - absolutely isolated system - allowable coordinate system - almost linear system - ample linear system - artificial feel system - automatic block system - automatic deicing system - binary relational system - binary-coded decimal system - block tooling system - Cartesian coordinate system - completely controllable system - completely ergodic system - completely hyperbolic system - completely identifiable system - completely integrable system - completely irreducible system - completely regular system - completely stable system - completely stratified system - complex number system - conical coordinate system - derivational formal system - differential equation system - differential selsyn system - digital counting system - digital transmission system - elliptic coordinate system - elliptic cylindrical coordinate system - externally inconsistent system - finite state system - finitely axiomatizable system - finitely presented system - fully characteristic quotient system - fundamental system of solutions - hydraulic lift system - integrated switching system - isomorphically embedded system - kernel normal system - linearly dependent system - linearly independent system - live hydraulic system - locking protection system - meteor-burst communication system - modular programming system - parabolic cylindrical coordinate system - permanent four-wheel drive system - pure independent system - radio telephone system - reactor protection system - real number system - receiver-amplifier crioelectric system - remote-cylinder hydraulic system - semantically consistent system - simply consistent system - simply incomplete system - simply ordered system - spherical coordinate system - strongly multiplicative system - structurally stable system - sufficiently general coordinate system - system of frequency curves - system of rational numbers - time multiplex system - time-division multiplex system - uniformly complete system - univalent system of notation - universal system of notation - weakly closed system - weighted number system
См. также в других словарях:
Μ-recursive function — In mathematical logic and computer science, the μ recursive functions are a class of partial functions from natural numbers to natural numbers which are computable in an intuitive sense. In fact, in computability theory it is shown that the μ… … Wikipedia
μ-recursive function — In mathematical logic and computer science, the μ recursive functions are a class of partial functions from natural numbers to natural numbers which are computable in an intuitive sense. In fact, in computability theory it is shown that the μ… … Wikipedia
Primitive recursive function — The primitive recursive functions are defined using primitive recursion and composition as central operations and are a strict subset of the recursive functions (recursive functions are also known as computable functions). The term was coined by… … Wikipedia
Partial correlation — In probability theory and statistics, partial correlation measures the degree of association between two random variables, with the effect of a set of controlling random variables removed. Contents 1 Formal definition 2 Computation 2.1 Using… … Wikipedia
Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a … Wikipedia
Recursive least squares filter — Recursive least squares (RLS) algorithm is used in adaptive filters to find the filter coefficients that relate to recursively producing the least squares (minimum of the sum of the absolute squared) of the error signal (difference between the… … Wikipedia
Recursive languages and sets — This article is a temporary experiment to see whether it is feasible and desirable to merge the articles Recursive set, Recursive language, Decidable language, Decidable problem and Undecidable problem. Input on how best to do this is very much… … Wikipedia
Computable function — Total recursive function redirects here. For other uses of the term recursive function , see Recursive function (disambiguation). Computable functions are the basic objects of study in computability theory. Computable functions are the formalized … Wikipedia
Domain of a function — Venn diagram showing f, a function from domain X to codomain Y. The smaller oval inside Y is the image of f, sometimes called the range of f. In mathematics, the domain of definition or simply the domain of a function is the set of input or… … Wikipedia
Super-recursive algorithm — In computer science and computability theory, super recursive algorithms are algorithms that are more powerful, that is, compute more, than Turing machines. The term was introduced by Mark Burgin, whose book Super recursive algorithms develops… … Wikipedia
McCarthy 91 function — The McCarthy 91 function is a recursive function, defined by computer scientist John McCarthy as a test case for formal verification within computer science. The McCarthy 91 function is defined as The results of evaluating the function are given… … Wikipedia